Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
341	Brand Protection Trademark Protection Digital Brand Verification Solutions from Comodo Add to Reading List Source URL: www.comodo.com Language: English - Date: 2014-02-03 11:07:19 Cryptographic software Public-key cryptography Hushmail Webmail Comodo Group Phishing Comodo Public key infrastructure Public key certificate Cryptography Internet privacy Key management
342	Busitech QW 5.0 versionJanuary 16, 2008 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:16 Validity System software Internet Explorer Windows Script Host Windows Registry Dynamic-link library Validation Software testing Verification and validation Computing Software Pharmaceutical industry
343	Busitech QW 5.0 versionNovember 7, 2005 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:47 Software Computer programming Clinical research Quality Validation Dynamic-link library Software testing Visual Basic Verification and validation Computing Pharmaceutical industry Validity
344	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
345	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
346	NDTMS - DAMS PHASE III INTRODUCTION AND GUIDELINES NATIONAL DRUG TREATMENT MONITORING SYSTEM (NDTMS) PROGRAMME OFFICE FEBRUARYNDTMS - DAMS PHASE III INTRODUCTION AND GUIDELINES Add to Reading List Source URL: www.nta.nhs.uk Language: English - Date: 2011-03-02 12:24:01 Quality Validation Verification and validation Form Software Science Computing Pharmaceutical industry Validity Clinical research
347	=============================================================== Oracle Cluster Verification Utility IBM Linux on System Z README File (OTN Distribution Kit - March, 2015) ================================================= Add to Reading List Source URL: www.oracle.com Language: English Oracle RAC Relational database management systems Oracle Clusterware Cross-platform software Oracle Database Oracle Corporation Oracle Technology Network Software Computing Cluster computing
348	Collaborative Verification of Information Flow for a High-Assurance App Store Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoras Add to Reading List Source URL: www.franziroesner.com Language: English* - Date: 2014-09-30 13:30:20 ITunes Smartphones IPhone IOS Malware Android Google Chrome Flow network App Store Software Computing Cloud clients
349	On user, process and model oriented warning verification Martin Göber Dept. Weather Forecasting Deutscher Wetterdienst DWD Martin.Goeber (at) dwd.de Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2011-12-13 21:15:28 RC-5 Deutscher Wetterdienst System software Software Computing Inferno Rc
350	Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing

UPDATE